1. A dictionary of the Internet
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : Dictionaries ، Internet,Terminology Dictionaries ، Internet
رده :
Ref
TK
5105
.
875
.
I57
I48
2003
2. An Introductionn to Discrete Mathematics, Formal System Specification and Z
پدیدآورنده : / C.C. Ince
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer science _ Mathematics.,System Design.
رده :
QA76
,.
9
.
M
35
3. An introduction to discrete mathematics and formal system specification
پدیدآورنده : Ince, Darrel
موضوع : ، Computer science - Mathematics,، System design
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. An introduction to discrete mathematics, formal system specification, and Z
پدیدآورنده : Ince, D.)Darrel(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer science - Mathematics,، System design
رده :
QA
76
.
9
.
M35
I53
1992
5. An introduction to discrete mathematics formal system specification, and z
پدیدآورنده : / D.C.Ince
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science-Mathematics,System design
رده :
QA76
.
9
.
M35
,
153
1992
6. An introduction to discrete mathematics, specification, and Z
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science-- Mathematics,، System design
رده :
QA
76
.
9
.
M35
.
I53
1992
7. Introduction to software project management and quality assurance
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Software engineering- Management,، Computer software- Quality control
8. Mechanical intelligence
پدیدآورنده : Turing, Alan Mathison, 2191-4591
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Artificial intelligence
رده :
Q
335
.
5
.
T87
9. Object-oriented software engineering with C++
پدیدآورنده : Ince, D. )Darrel(
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Object-oriented programming,، Software engineering,، C b++ s )Computer program language(
10. Practical formal methods with VDM
پدیدآورنده : Andrews, Derek.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Computer software- Development
11. Programming the Internet with Java
پدیدآورنده : Ince, D. )Darrel(
موضوع : ، Java )Computer program language(,، Internet programming
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
12. Software prototyping, formal methods, and VDM
پدیدآورنده : Hekmatpour, Sharam
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer software-- Development
رده :
QA
76
.
76
.
D47
.
H45
1988